Hintikka and Cresswell on Logical Omniscience

نویسنده

  • Mark Jago
چکیده

I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka’s responses fail and present some problems for Cresswell’s. Although Cresswell’s approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, which defenders of the ‘possible worlds’ approach are frequently critical of.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Delusions of Omniscience

Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6n et. al. [1985], Giirdenfors [1988]) are used for the representation of belief. Both kinds of logic are omniscient in various ways. We address these delusions of omniscience in this paper. We begin by defining three kinds of omniscience logical, deductive, and factual. We will t...

متن کامل

Quantified Logic of Awareness and Impossible Possible Worlds

Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically im...

متن کامل

A Nonstandard Approach to the Logical Omniscience Problem

We introduce a new approach to dealing with the well-known logical omniscience problem in epistemic logic. Instead of taking possible worlds where each world is a model of classical propositional logic, we take possible worlds which are models of a nonstandard propositional logic we call NPL, which is somewhat related to relevance logic. This approach gives new insights into the logic of implic...

متن کامل

Logical Omniscience Via Proof Complexity

The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of her assumptions. In this paper we suggest the following Logical Omniscience Test (LOT): an epistemic system E is not logically omniscient if for any valid in E knowledge assertion A of type ‘F is known’ there is a proof...

متن کامل

TR-2006005: Logical Omniscience via Proof Complexity

The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of her assumptions. In this paper we suggest the following Logical Omniscience Test (LOT): an epistemic system E is not logically omniscient if for any valid in E knowledge assertion A of type ‘F is known’ there is a proof...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013